Embora a logica seja, de urn modo geraJ, concebida como um ramo da filosofia, suas aplic~oes via muito alem dos limites de qualquer disciplina isoladamente considerada (SALMON, 1993). Seu papel principal e fomecer meios para determinar a rel~o de consequencia que vige entre as premissas e a conclusao de urn dado argumento. Dentre as tecnicas utilizadas que possibihtarn garantir esta rel~o destaca-se a tecnica por redu ¢oao absurdo por ser amplamente aplicada nas cienciasdesde a antiguidade. Suaideiabasics residenofatodequeumapropo si~ nio pode (...) ser verdadeira se dela deduzimos uma contradi ~o. Pretende-se, entio, apresentar a estrutura logica de tal tee niea de demonstracao a partir de urn dado sistema formal da logica classica. (shrink)

Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.